منابع مشابه
Architecture-Directed Refinement
As critical computer systems continue to grow in complexity, the task of showing that they execute correctly becomes more difficult. For this reason, research in software engineering has turned to formal methods, i.e., rigorous approaches to demonstrating the correctness of software systems. Unfortunately, the formal methods currently used in the design of concurrent systems do not provide any ...
متن کاملProvably Correct Architecture Refinement
This paper presents a formal approach to correctly generate an architecture level model of a system from its specification model. We define the notion of equivalence of models based on their execution semantics. A formalism is then presented, which can be used to model systems and perform correct transformations on them. Architecture refinement is described, as a sequence of such transformation...
متن کاملCorrect Architecture Refinement
A method is presented for the stepwise refinement of an abstract architecture into a relatively correct lower level architecture that is intended to implement it. A refinement step involves the application of a predefined refinement pattern that provides a routine solution to a standard architectural design problem. A pattern contains an abstract architecture schema and a more detailed schema i...
متن کاملArchitecture: Requirements + Decomposition + Refinement
This paper focuses on the system requirements and architecture w.r.t. their decomposition and refinement: how the refinement-based verification can be used to optimize verification process, and which influences it has on the specification process. We introduce here specification decomposition methods, applying which ones can not only to keep the specification readable and manageable, but also f...
متن کاملDirected Treebank Refinement for PCFG Parsing
The linguistic annotation of a treebank conforms to an annotation scheme, which has to serve several purposes. It should be easy to understand and follow by human annotators, and it should naturally express the syntactic structure assumed for the sentences under consideration. Treebanks may also serve as a resource for Natural Language Processing, where the goal often is to perform a certain ta...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: IEEE Transactions on Software Engineering
سال: 1994
ISSN: 0098-5589
DOI: 10.1109/32.277573